Truth vs. Proof in Computational Complexity
نویسنده
چکیده
Theoretical Computer Science is blessed (or cursed?) with many open problems. For some of these questions, such as the P vs NP problem, it seems like it could be decades or more before they reach resolution. So, if we have no proof either way, what do we assume about the answer? We could remain agnostic, saying that we simply don’t know, but there can be such a thing as too much skepticism in science. For example, Scott Aaronson once claimed [Aar10] that in other sciences P 6= NP would by now have been declared a law of nature. I tend to agree. After all, we are trying to uncover the truth about the nature of computation and this quest won’t go any faster if we insist on discarding all evidence that is not in the form of mathematical proofs from first principles.
منابع مشابه
Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملNisan-Wigderson generators in proof systems with forms of interpolation
Proof complexity generators are used to define candidate hard tautologies for strong proof systems like Frege proof system or Extended Frege. They were independently introduced by Krajı́ček [3] and by Alekhnovich, Ben-Sasson, Razborov, and Wigderson [1]. Roughly speaking, the tautologies encode the fact that b / ∈ Rng(g) for an element b outside of the range of a generator g : {0, 1} 7−→ {0, 1},...
متن کاملInfinitary Tableau for Semantic Truth
We provide infinitary proof theories for three common semantic theories of truth: strong Kleene, van Fraassen supervaluation and Cantini supervaluation. The value of these systems is that they provide an easy method of proving simple facts about semantic theories. Moreover we shall show that they also give us a simpler understanding of the computational complexity of these definitions and provi...
متن کاملNP-hardness of Minimum Circuit Size Problem for OR-AND-MOD Circuits
The Minimum Circuit Size Problem (MCSP) asks for the size of the smallest boolean circuit that computes a given truth table. It is a prominent problem in NP that is believed to be hard, but for which no proof of NP-hardness has been found. A significant number of works have demonstrated the central role of this problem and its variations in diverse areas such as cryptography, derandomization, p...
متن کاملMonotonicity has only a relative effect on the complexity of quantifier verification
We discuss a computational model of quantifier verification. It predicts that there is no effect of monotonicity on the verification of numerical quantifiers but only the interaction of monotonicty and sentential truth-values. Moreover, it predicts no monotonicity or interaction with truth-values effects for proportional quantifiers. We present an experimental study supporting the predictions o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Bulletin of the EATCS
دوره 108 شماره
صفحات -
تاریخ انتشار 2012